
/* gcc -shared -fpic -o mylib.so lib.c */
int addvec(int i) {
    return i + 13;
}